Search Results
Kami: A Platform for High-Level Parametric Hardware Specification and Its Modular Verification
Wednesday @ 1130 Kami A Framework for RISC V HW Verification Murali Vijayaraghavan, MIT
KAMI PO
SIGARCH Visioning Workshop: Agile and Open Hardware for Next Generation Computing -- Adam Chlipala
Formal Methods for Dependable Computing: From Models, through Software, to Circuits
Never Again: Spectre-Proofing Chip Designs with End-to-End Formal Methods
34C3 - Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and Hardware Developme
Connecting SysML with PLM / CAD / ALM / Reqts / Projects
A Program Optimization for Automatic Database Result Caching -- Ziv Scully - Adam Chlipala
Bedrock: A Software Development Ecosystem Inside a Proof Assistant
SysML Quick Start Using Enterprise Architect
Generative Programming and Verification - Nada Amin
